Software de algebrismo com equaes simblicas